Reasoning Over Spatial Relations for Context-Aware Distributed User Interfaces

Considering the amount of devices a user owns nowadays, a distributed user interface can become increasingly important. This requires reasoning techniques that allow making predictions of future values in the spatial model because these devices can be expected to change their location during usage. Our primary attention will be devoted to the problem of re-distribution of user interfaces in a constantly changing environment. So that a change in spatial topology, i.e. in the way the devices are located relative to one another, will be detected on time and interpreted in a proper way, resulting in redistribution of a user interface the devices are sharing.